 if p then A else tot(N2) + tot(N3) fi
  where
    tot(B) = S
     where
      S = 0 fby S + B;
     end;
    N = 1 fby N + 1;
  end
